CMSS9.360[360,GF]1 - www.SailDart.org

perm filename CMSS9.360[360,GF]1 blob sn#803289 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#~ε4  GβQp∂βE(β∃ e ∧∃0λα∃0⊂↓T`@⊂α∀`0_α∀`0 ↓T@@ α∀@@ α∀@00↓T @0α∀ 08α∀@@α∀@@α∀0Hα∪`@Pα∪`@Pα∪`0Xα∪BDp
∪"dhαβ@Dhαβ@D`α∧D`α∧D`↓D DXα∧@DXα∧@DPα∧`T("⊂BaX∂π@p%∧)!⊂%↓↓⊂0%↓↓0(%↓↓@ %↓↓P %↓↓`_%↓↓`_%↓↓P %↓↓P_%↓↓@ %↓↓ (%∧I!%∧)  βB	  ¬A)  ε↓)  εA	  π↓	  π↓	  π↓	  π↓	  π↓	  εA	  ε↓)  ¬↓I!_%∧) x"Qλ18
λβpXβTAUλπTP8α∪`@X↓∪@Dhα∪T`α∩`DXα∩`DPα∩@DPα∩@DPα∩@DPα∩@DPα∩`DXα∩`D`α∪Thα∪@Dxαβ%αBEλλ∀AU(∧⊃(D π#apβI!λ%∧I  ∧AI  ¬A)  ε↓)  εA)  π↓	  πA	  πA	  πA	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  λ↓	  πA	  πA	  πA	  π↓	  εA)  ε↓)  ¬A)  ∧AI!⊂%∧) p"QλQ GC`	RB4P	R@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩B$P	∩B$Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DP
∩BDP
⊃(D0	¬cap∧I!⊂%∧I  %↓	  %↓	  %↓	  %↓	  %↓	  %∧	!%∧	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓λT #Fβ2∂Ba¬_εT"∃β↓`TxαB`4pα∪ D`αSDXα∩`DXα∩@DPα∩@DPα∩@DPα∩@@X∧R@@X∧R@@X∧R`@xα∩`@xα∩`@xα∪@pα∪Phα∪ @hα∪@@`α∪`PPα∀`8αT"∃_εU!∧("∩αaX∂π@ π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	!0%¬I!0%↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` "Q	⊂ ∧πC`α∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα⊃(DPπD#qp¬A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A	 ⊂∧↓	 _β↓) h%Bi`0"Q	1@∞GC`αβ@TPαβ TPαβTPαα`TPαα@TPαα TPααTPα↓`TPα↓`DPα↓@DPα↓ TPα↓TPα`TPα@tPα!∧P∧@ DP∧@TPβADPβ↓@DPαA`TPαBDPαα@DPαα@TPαα`DPαβDPαβDPαβ DPαβ TPαβ@DPαβ`DPαβ`T("∪α⊃0∂π@ %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	!λ%∧)!λ"Q	Qh⊃πC`αD@dPβ∧tPβ∧tPβ∧tPα  p↓@ DPα  p↓@ DPα  p↓@ DPα 0`α DPα@ `↓@@DPα@ `↓@@DPα@0Pα@DPα@0Pα@DPα` P↓@`DPα`0@α`DPα`0@α`DPα↓ @↓ADPα↓00α↓DPα↓00α↓DPα↓  0↓A DPα↓ 0 α↓ DPα↓ 0 α↓ DPα↓@  ↓A@DPα↓@0⊂α↓@DPα↓@0⊂α↓@DPα↓` ⊂↓A`DPα↓` ⊂↓A`DPα↓`p8α∩@@@αBDPααP@α∩@@@αBDPα¬ D("∪BaX∂π@0ε↓	 8¬A	 8¬A	 @¬↓	  @a  %↓⊂_¬↓	  ↓a⊂ %↓ _∧A	  ↓↓↓ %↓0_∧↓	  ↓Ap %↓0 βA	  α↓` %↓@ β↓	  α@`` %↓P αA	  β`P %↓` α↓	  β↓@ %↓p ↓A	  βA0 %↓↓_↓A	  ∧↓  %↓↓⊂_↓↓	  ∧@`  %↓↓ _A	  ¬`⊂ %↓↓ @%↓↓08%↓↓08%↓↓@0"Q	qX∂λβpPβTA5πS``(β∪@PHαS PXαS @hα∪@xα∪@xα∩`Aλα∩`Aλα∩`Aλα∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩`Aλα∩`Aλα∩`Aλα∪@xα∪@xα∪ @hα∪ PXαS@PHαS``(β∀↓u⊂¬Ut("∀αAH∂π@p%∧	!λ%↓↓⊂(%↓↓ (%↓↓0 %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓0 %↓↓ (%↓↓⊂(%∧)!%βI  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  "Q
⊃X∂	#pPβTA5πS``(β∪@PHαS PXαS @hα∪@xα∪@xα∩`Aλα∩`Aλα∩`Aλα∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩@A_α∩`Aλα∩`Aλα∩`@8α↓@D`α↓@P α∪@8α↓Dhα↓`@⊂α∪ P0¬∪@P0∧∪``(β∀↓u⊂εUpλα↔UhαW@EpαW`T("∀Bq`∂π@p%∧	!⊂%↓↓⊂0%↓↓0(%↓↓@ %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓@ %↓↓0(%↓↓⊂0%∧I!%βI  βA	  βA	  ∧↓	  ∧A	  ∧A	  ¬↓	  ¬↓	  ¬A	  ε↓	  ε↓	  εA	  εA	  π↓	  πAλT )Eαb∂Aa∧xεSAthαA@T`αα@4`α∩`DXα∩`DXα∩`DXαSThβ∪!$p¬T↓5_∧U`U@αV EPα⊗@EPα⊗@EPα⊗@4P↓β DPαα@DPβA@TXλ∪!EβQ(E 
πβapεI!P%εJP *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *AλT *E#!x∂@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩`@Xα∩`@Xα∩`PHαSP8αS P(αSATx¬T t("∃CAh∂π@ 
↓	  
↓	0 	↓	0 	↓	0(λA	@ λ↓	@ λ↓	P π↓	P π↓	P π↓	` ε↓	` ε↓	`(¬A	p ¬↓	p ¬↓
 ∧↓
 ∧↓
 ∧↓
⊂ β↓
⊂ β↓
  α@j  α↓
  α↓
0 ↓@j0 ↓↓
@_↓j@ @j@@*AJP0*AHT +J%!p∂@hββ@DPαβ phα∩@@hβC DXαβph↓R`@Xα 0`α∩`@Xα @Xα∩`@X↓@@@Xα∪@P↓@`0Pα∪@Hα`@Hα∪@Hα`@Hα∪ @@↓A@H↓S @8α↓ 0@α∪ @8α↓ @8α∪ @8↓A@@8α∪@@0↓A`08↓S@@(α↓`00α∪@@(α↓`@(α∪`0(↓B@(↓S`@ ↓B 0 α∪`@_αα 0 α∪`@_↓B@@_α∀0_↓B`0_↓T@⊂↓B`0_↓T@⊂↓B`0⊂α∀ 0λ↓C@λ↓T 0λ↓C 0λ↓T 0λ↓C 0λ↓T phβT@Ppβ∀@PxαT@PxαQ(E@∞π#apAα⊂ %A!p &↓!P(&A!0('↓↓0 'A↓⊂ 'A p((↓ P((AP )↓0 )↓ ⊂()B*@8*AJ` *A*@8*α
0 A*  ↓A
⊂(α↓
⊂ β↓
 βA)p ∧A)`(¬↓	` ε↓	P εA)@(π↓)0(λ↓	0 	↓	 (	↓(T ,GCap∂Q αR`Q⊂αSQλα∪ Aα∪ PpαS@P`αS`@`α∪`PPαTP@αT @@α∀ P0αT@P αT`@ α∀`P⊂α∃↓%(∧∃@e0β∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`D("⊗BaH∂π@↓(%¬)!(-↓⊂ ,↓+ +A*p +↓
P(*A
@()A*0 )↓*  (A*((↓	p('A	` &A)P &↓)@ %A	!0%¬I!0"Q⊃	∧b0(β∪↓4XεR`08α∩`⊂HαU@E0α∃@E0α∪a4hεR``(α∩`@8α∩@@@α∩@@@α∩@@@α∩@P(β∩at`∧@ Dhβ`D("_B!(∂π@ %↓	  %↓	  %↓	  %↓	  %↓	  %↓@(%↓⊂H%βi 0αA) (βA)  ∧A	  ∧A)  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ∧A	  ∧A	 (βA) 0αA) x%↓⊂H%↓0("Q1	∧b00β∪A$hε∪P(↓S@@R`DXα∩@DPα∩@DPα∩@DPα∩`DXα∪@HSP(α∪!Tp¬Td("→α! ∂πA` ,↓ ,↓ ,↓ ,↓ ,↓ (↓ 0 'α ⊂ &Ci@(αAI0(βA)0 ∧A	0 ∧A	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	 (∧A	0 ∧A	0(βA)@(α↓iPPA	`@↓↓	p(α↓λT 2D"!_	A@dp¬∪!D`αAT`α↓`4Xαα4X↓B@4PλRB∀PλR@DPα∩@DX↓R`D`αα ∀`αA@4hεSa%λβ⊃(F0πCcap∧AJ⊂@(α)p '@i` '↓	` '↓	` '↓	 `%β	 `'↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓λT 3EαQh	A@P(α∪B∧hλSP_αS@(α∩`@8α∩`@8α∩`@8α∩`@8α∩`@8α∪@(α∪P_αS!4`¬S ⊂αS$`↓S↓T`πS!t`λR`@Hβ∩@@`α∩@@`α∩@@`α∩@PPαR``0β∪α∧pε∀↓∧("~α⊃ ∂π@ %↓	  %↓	  %↓	  %↓	  %↓	  %↓@0%↓ H%↓⊂X%↓`P %↓! %↓! %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ "Q
⊂ βGcpα∩@DPα∩@D8∧DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα⊃(FP¬B¬↓xβA
⊂ (A
⊂ #Bp (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ %@@ %αI H&↓HT 5DBQp∂DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPααTPα↓`TPα↓@TPα↓ TPα↓TPα`TPα@TPα TP¬∩A4Pε∩@`λαR@P_αR@@(αR@@(αR@@0αR@@8αR@@8αR@@@αR@@HαQ(F`α↓cap↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓λT 6GD⊃_	@@ β↓`dPαA⊂ ∧R@@λ¬@A4PβA @λ↓A DPαBP@α∩@P@αBDPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα D("≠B⊃ 	D` α↓I  ↓α)  Bi 8αA	 (∧↓	 (∧↓	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧AλT 7EαQ_	A`dx¬∪!d`β↓d`ααDXαα@DXαα@DPαβDPαβDPαβDPαβDPαβDPαβDXαα@DXαα@D`ααD`β↓dhπ∪a%λβ⊃(G	¬#A_↓@(%↓⊂H%βi 0αA) (βA)  ∧A	  ∧A)  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ∧A	  ∧A	 (βA) 0αA) x%↓⊂H%↓0(%↓	  %↓	  %↓	  %↓	  %↓λT 8DBA`	A@P_α∪A⊂λα∪!t`αA dXαA`TXααTXαα DPαα@DPαα@DPαα@DPαα@DPαα@DPαα@DPαB DXαα DXαA`T`αA dhπSA⊂α∪`P α⊗E@α⊗E@α⊗E@α⊗E@α⊗D("≤A0p	D` αi  ↓↓)  AI @%↓I 0%↓) (%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  "Q∞0xλ∧b0(∧∪!D`εR`P0↓R`DXα∩`DXβ∪↓∀h¬∪A%λβUU(α∃ DP↓α DPα↓@DPπ∩aDpβQ(G εCC⊃H↓A	P &A	P &A	P %β) h%β)P &A	P &A	P &A	P &A	P &A	P &A	P &A@λ'α)`H'AHT :D"A_	@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@Hα∩@@@αR@@8β∩B∀X¬@ D`βAD("≥B!_	D` ¬↓	  ¬↓	0 ∧@i0 ∧↓	0 ∧↓	@ β↓	@ β↓	@ β↓	P α@iP α↓	P α↓	` ↓@i` ↓↓	` ↓↓	p_↓ip_↓ip @j0(↓J⊂ "Q∞q`∞Db0α↓`P@α∩@@8αBDPα↓``8α∩`@0↓ 00α∩`@(↓@ 00α∩`@(↓@ @(α∩`@(↓@@0(α∪@ ↓`0 α∪@_↓@`0 α∪@_↓@`@_α∪ 0_↓A0_↓S @⊂↓A0⊂α∪ @⊂↓↓ 0⊂α∪ @λ↓A 0⊂α∪@0λ↓A@0λ↓S@0λ↓↓`0λ↓S@0λ↓↓`0λ↓S`P8β∪`P@αS`@HαQ(G@
¬α1_A↓  %A! &↓ ` &AP '↓@ 'A  (α
8(AJ  (A*⊂0(`⊂ 'A  '↓@ '`P &A` &↓↓ %A↓  %↓! ("Q∂⊃⊂	Gα0αα@DPαα@DXααDXααDXαA`D`α↓@D`α↓@Dhα↓ Dhα↓Dp↓ADpα`4pα`4x↓@@Dxα 5↓@ 5↓@ 5↓@ %λαT U⊂↓T@5λ↓T 5λ↓T5↓R`tXβ∩`T("≡B↓λ	D`⊂x%Ci0x*↓*@ )A
 ()↓
⊂ (↓)p('A	` &A)P &↓	0(%∧	!%∧λT ∧"ap∂α∀PλRB∀Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D("$∩_∂πA`(,↓*p8+Aj` A
`_↓↓
P ↓A
P_α↓
@ α↓*@ αA
0 β↓*0 βA
  ∧↓*  ∧A
 _¬↓
⊂ ¬A
⊂ ¬A
 ε↓* εA	p π↓)p πA	` λ↓)` λA	P 	↓)P 	A	@ 
↓)@ 
A	Ah%Gi1x%λ(T ↓π$α∂B`u⊂εT!uβ↓ dxαB Tpαβ Dhαβ`D`αC`T`α∧ DXα∧`DXα∧`DXα∧`DPα¬ DPα¬ DPα↓↓P α∩@@ εADPα↓↓P α∩@@ εADPα¬ DPα¬ DPα¬ DXα∧`DXα∧`DXα∧`D`α∧ D`αC`Thαβ`Dpαβ DxαB Uβ↓ eλπTAU(βQ(@_FCap¬↓*@()Aj08)@`⊂_)@`⊂_)`  )`  )`0_(A0 (@`@ (@`@ (↓P (↓P (`` 'Ap 'Ap '@a '↓↓⊂ '↓↓⊂ 'a  &A↓ (&A↓0 &@a@ &↓↓@(&↓↓P &a` %A↓`(%A↓p %A↓p %↓α("QAP∞πC`
∩C$P
⊃a _
∪"Dh
⊃a@
∩C$P
⊃(@(εcap¬I!0%¬I  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓	  π↓λT βεCQp∂β$P
∩C$PαR`T`αS TpαS@TxαTUλαT e⊂αT`U αT`U_αT@UλαT UαTDxαS@Tpα∪ T`αSβ∧XRC$("↓cR∂G`P(∧A)PHβα	@PαBI0(α`0 ↓A)0 β` _αA	  ∧@ ⊂βA	  ∧@⊂_βA
`0+A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p "Q↓↓P∞GC`Xα∃ E(α∃ E(α∀a¬π∪b∧hβ@@⊂β∪P α↓T`α↓ @(α∩`@0α↓@DXα↓@@0α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓`DXα↓@@0α∩`@0α↓@D`α↓ @(α∪P α↓Thβ@@⊂β∪b¬π∀a¬(α∃ E(α∃ E(α⊃(@H∞HβapεA
p +A	 (∧↓p(%↓@p β↓I 0βA`0%A@` αAI@(β↓P(&A` αA	P β↓P &A` αA	P β↓P &A` αA	P β↓P &A` αA	P β↓P &A` αA	` αA@ '↓P α↓	`(α↓@ 'A@ ↓A	p(↓A ((↓@⊂P(Cj0`*Ajp +A
p +A
p "Q↓!`∂πcpP∧∀AEλ∪``0β∪@PPαS @pα∪PpαSAα∩`A⊂α∩`A⊂α∩`A⊂α∩`A⊂α∩`A⊂α∩`A⊂α∩`A⊂α∪Aα∪Aα∪Aα∪ @pα∪ @pα∪@0p↓S@@`α∪`0`↓S`@Pα∀0P↓T@@α∀ 0@↓T 0@↓T@00↓RA00¬RA00¬RA00¬Q(C	¬∧"λβ↓Ip@'αIP α↓	@ β↓	@ β↓	0 ∧↓	0 ∧↓	0 ∧↓	0_¬i  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	0_¬i0 ∧↓	0 ∧↓	0 ∧↓	@ β↓	@ β↓	P α↓	`P'B
0"Qε⊂x	H$⊂HT 4xαRA$P¬∩@Pλα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀DPπRAtPπQ(C⊂	¬∧∩λβ↓)`H&C	@_αAI0_∧↓	0_∧A	0⊂¬↓	 _¬A	 ⊂ε↓	 ⊂ε↓	0λε↓ ,↓ +A
p +↓
` *A
@ *j0_)j⊂_(↓	p '↓	P &@i@_%@i!⊂%∧I!⊂"Qε1⊂
λD⊂0β∪A$hε∪@(αR`@8α∩`0Hα∪⊂Pα∪⊂Pα∃`E8α∃`E8↓U@E0↓UU∧∀e∧∃ E0α∃`E8α⊗E@α⊗E@α⊗DPC DP↓α`DP↓α`DX↓BDXαA T`εSA%β⊃(C 
¬$α¬↓*@()@ ⊂ )@ ⊂ )@⊂ )@⊂ (@`⊂ (@@  (`  (`  '@`0 '@`0 '↓0 '`@ &A@ &@`P &↓P &↓P %A` %A` %↓p %¬	! %¬
P *A
P *A
P *A
P *A
P "QεQ⊂
λ$λπRatXπR`DXα∩`DXα∩`DXα∩`DXα∩`DXα@TXεRadXβ@`TXαA@DXαA`DXααE@α⊗E@α⊗E@α⊗E@α∩`⊂`↓R`⊂Xα∩@0Pα∩`0@α∩`P αS↓Dh¬∪`d("
B! ⊃λ!⊂((B
H'APλ'↓	P &@i@ &i0 %A	0 ↓A)  ↓α	  BI 8α↓) 0β↓	 (∧↓	 (∧↓	 (∧A	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	0_¬↓	0 ∧A	0 ∧@i@_∧↓	@ βA	@ β↓	P α↓	`P'B
⊂("Qεq⊂
λ∧	∩B$P	⊗ 5@↓U`58↓U@50↓U 5 α∃5_α∀`E_↓T@E⊂α∀@5λα∀ Eλ↓TEα∀Eα∀Dxα∪`Dxα∪`Dxα∪`Dxα⊃(C@	¬∧"λβ↓Ip@&C	P α↓	@ β↓	@ β↓	0 ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	@ β↓	P_βiP(↓↓)p@'B	`P&A@ &a_%A↓ %@a _%↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %A↓ %A↓ &↓` &↓ @(&C	`P(↓HT ≤DBB⊂⊂A@dx∧∪A$hα↓D`α↓@DXα↓`DXαα4X↓B DPαα DPαα@4Pαα@DPαα@DPαα@DPαα@DPαα@DPαα@DPαα TXααTXααT`α↓@d`αAth¬ Dp∧@DxαA58α∃`E8↓U@E0α∃ D`A`D`↓↓ DXε∪↓∀pβ⊃(B λDd2λ∧j _)j8'BiPp&A⊂_↓↓	@_↓@`@⊂&`0_%@`@_%@`@_%@`@_%@`@_%A0_&↓ _&α)P@'α)pH(B
 @)` _)`  )`0_)`0_)`0_)`0_)`0_% p_↓i _α@` _%↓ 08%C)PP'Aj _)hT ∪π#r∂B U⊂βT!∃α`E↓A 5↓A Dxα↓ Dx↓A@Dx↓A@Dxα↓Txα↓Dxα`Dxα@Txα PPT↓X↓TpXα∀Ph↓S``h↓SAXα∪!⊂X↓S@⊂αB DXα↓@H↓R`@ αA`DPα↓@P(α∩@@8αA4PααP⊂↓R@@@¬∩@P@∧∩`@Hβ∩`P0¬↓ $`
S!@_¬S`pHβ⊃(CxπDCapα↓i0X%βI  β↓	0λ∧A
P *A
P *↓*@ )A
  (A
⊂_(↓
_(j_(ip 'A
⊂#A P 'A	p 'AλT ∨βb!p
A Dxα∪`Dxα⊃`P0↓∪`Dxα∪`4x↓S`4x↓S@Dp↓S D`αR`TXα∩@DPα∩@DPα∩@@HR`@0α∩ad`ε∪@t("∧@8	D` %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓λT λBa↓`	A`Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DXADP¬∩A∀`β⊃(AHλEβapαA)PH&αi0 αA	  βA	  βA	  βA	  βA	  βA	  β↓	  αA)  ↓AI  ↓A)  ↓AI  αA)  βA	  βA	  ∧↓	  ∧↓	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧↓	  βA)  ↓B	  ↓α	  ↓↓HT 
π#q_	A p0β∪↓0_¬∩aPλε∩`@0∧↓TXB p8↓U@P@↓U@PH↓UB∃⊂
SC∀`π∩``(α∩@P8α∩@@@αR@@@αR@@@βα ∀PαAA⊂(↓RaPλεS↓0 ¬∪!@β⊃(AX⊂HB1_βAA⊂0'B@PP'β0`&A` A @(&↓↓@β@i0 ¬↓A_%A↓ 0∧@i  ε∧)  ε∧)  ε∧)  ε↓	  ε↓	  ε↓	0 ¬↓I0 ¬↓I@ ∧α↓⊂λ&A @(A@P_'β0h'B@`P(AA 0"QβA 
Gαq↓V EH↓VEλβ 4xε∪!d`β↓d`α↓ tXα↓@0λα∩`@(α DPα↓@0_α∩@@(α`DPα↓ 0 α∩@@ ↓A DPα`@(α∩@@_↓A@DXα @(α∩`@λ↓A@D`βA D`β↓dhπ∪!Dh↓@ d`α∪4Xα∩`4("π$B(∂πAQ0+¬ja8*A0 *A0 *A0 *↓@ *↓@ )AP )AP )@`` )↓` )↓` (Aq(Aq(@a↓(↓↓ (↓↓ 'A↓⊂ 'D)qλ'∧I` ¬↓	P ¬A	P ¬A	P_ε↓	@ ε↓	@ ε↓	0 εDI0 εDI  π∧HT ∂
¬"∂B`u⊂∂T$¬β↓"dxαB Tpαα`ThαβT`αβ T`αβ TXαβ@TXαβ@TXαβ`DPα∧DPα∧DPα∧α$Pα∧α$Pα∧α$Pα∧DPα∧DPα∧DPαC`DXαβ`DXαβ@TXαC T`αβ T`αCThαB`Tpαα`Tpβα TxβA"uλ⊂TD¬(βQ(Ax∞H∧2jP8↓A
!(D*0αAIp(∧A)` ¬AIP ¬B	@ ε`  &↓↓0 ↓↓	0 ε`@ %A↓0_αA	0 ¬@`P %↓↓0_βA	  ¬↓p %↓↓ _∧↓	  ∧A↓ %↓↓⊂_∧A	  ∧↓↓⊂ %↓↓_¬↓	  βA↓  %↓p_¬A	0 α@a0 %AP_¬A	0 αa@ &↓  ¬A	@ ↓a@ &B↓0 '↓A0 'A!  (↓@P0'D)q'↓08'hT ⊂A↓⊃p∂DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DX↓⊃`Pα∩@DPα∩@D("∂@H∂¬  %↓	  %↓λp(@I  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  "Q∧1x⊃	c`p↓α%@↓α%@↓α%8↓A`58↓α%8↓α%8↓α%0↓A`50↓α%0↓α%0↓α%0↓α%(↓A`5(↓α$P∂RCu ↓α% ↓α% ↓α%_↓A`5_↓α%_↓α%_↓α%_↓α$P∂RCu⊂↓α%λ↓A`5λ↓α%λ↓α%λ↓α%λ↓α%↓A`5↓α%↓α%↓α$x↓A`4x↓α$x↓α$x↓α$("	#r⊂⊃H @ λIP0πi@@ε@I0 ↓↓↓0_%A  ¬@I0_αa _%↓@ ∧@I  α↓↓_%↓@ ∧I  α↓p_%↓@ βi  α↓`⊂%↓@ α@i0_α``⊂%A  α@i0 ↓↓P⊂&αP_&A@P_'↓`⊂βA
p_β↓Jp⊂βα
`_αA  +@` ↓↓
P_αA@ *@@` α↓
@_β↓@ )@`p α↓
0⊂∧↓@ )a α↓
 ⊂∧A@ (@a⊂ α↓
⊂⊂¬A  (a0 ↓↓
⊂εB	p_π↓Ip⊂λ↓λT ∪A!H∂ DXα∩`DXα∪ $`↓∪$X↓∩`$P↓Q(B@εβERλ∧@j _(@j_'A	p_'iP &A	@ &↓	@ %A	0 %A	0 %@i  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0_%A	0 %A	0 &↓	@ &↓	P &A	`_'@ip (j⊂_)j0_"Q¬⊂`πK$⊂↓R`4`↓S 4hα∪@4x↓S`Dxα∀Eα∀Eλα∀ Eλα∀ E⊂↓T@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@5λα∀ Eλα∀ Eα∀Eα∪`Dxα∪`4p↓S Dh↓S4X↓R@4("
B! 	H!⊂)j ⊂)I0⊂α@@P⊂%↓@⊂α↓	0(↓@ (&↓ ⊂⊂A)`P(↓J0'αI@(@@⊂(%A  ⊂↓↓)  α@@ %@@P⊂α@J ⊂)J _)HT ∃G$↓x
β@%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗$P∞RCU@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊃(B`αB↓⊂_A	0 %A	0 &@I@⊂&I0⊂%@I _"Q¬` ∧`0α∩@DPα∩@D("b↓_⊗λ!`⊂,Jp_+@Jp⊂+j`⊂+JP_*@JP⊂*j@⊂*J0_)@J0⊂)j ⊂)J⊂_(@J⊂⊂(@J_(J⊂'@ip⊂'@I`_'I`⊂&@iP⊂&@I@_&I@⊂%@i0⊂%@I _%I ⊂"Qπ  ∧∧b0α∩@DPα∩@D8εDPα∩@DPα⊃(CXαBβ⊃_A	0 %A	0 #C⊂ %A	0 %A	P⊂&I@⊂%@I0⊂%hT ≡G$XλβTP∞Qa∞RCT("⊂β↓X∂πA00)αj⊂h(↓ ` '↓!⊂ '↓↓ (&Ap A	@ βαi@ αC	0 αA@0%A@ β↓)0 α↓`(%↓@ ∧↓	  α↓↓ %↓@ ∧↓	  α↓↓ %↓@ ∧↓	  α↓↓ %↓@ ∧↓	0 α↓` %A@ β↓	0 αA@ &↓PP&↓`@&Ap '↓	`((↓!((D
 h*AhT -Aa2`⊂@tPβR@tPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@tPβR@t("↔ p@⊗λ 8%↓i 8&A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	 8%↓i 8"Q(∧B#`⊂↓S$`↓∩`$X↓∩@$Pα∩@DPα∩@D("∧A⊂hβπ@ %A	@ &A	`_'@j_"Qα0H	↓C`(α∪@Dhα∪D`↓R`4P↓Q(A λ∧`a`a _%@a_&``_&A  'α	p0(↓λT 
CB 8∂0@↓R@0@↓R@@0α∩`00↓R`@ α∪↓$h∧∪`D("¬B↓_↓ε`↓%∧	!"QαpP
↓C`⊂β∩a∧P↓A4P↓A4P↓A4X∧∪d(!@?␈␈x␈@βε?␈␈x{␈␈␈x}`4h↓S4Xα∩`4P↓Q(Bεα`Qλ¬*0&B) P%↓i0⊂"Qa	AC`0α∪`dp∧∪ @⊂α∪00↓R`0@↓R@0P↓Q(Exαα1x↓	  %↓	  "Q∂Pp	↓C`⊂α↓D`α↓DXα↓DXα↓DX↓A 4Pα↓DP↓A 4("∨Aa⊂απ   α@i08↓@i0`%`08%`P "Q∂p`λ@cpα↓DPα↓DPα↓DPα↓D("αcA`∂πA⊂8αAj⊂H↓B*P↓αIp ∧↓	p_∧@i` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	 h↓B) h↓B) h↓B)` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓	` ∧↓λT ε¬"Qx∂D E⊂β`Eλβ@`E∧`Dxα∪@Dpα∪@Dpα∪@Dpα∪@DPπ`DPπ`DPπ`Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα D("β"Q(∂πA0↓A
⊂8↓A
@↓A	p ∧↓	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	 p↓A	 p↓A	 p↓A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧AλT πλ$⊃x∂G E_β↓@P_α∀! β@`E∧Ap_α∪`@Hα∪`0Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∩AP ∧@`DPεA↓⊂_α∩AP ∧@`Dpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α∪@@HααDpαα @@α⊃(@x⊂H#ap∧A@`(↓A
⊂@α↓`0 (α @8↓A	p ∧Ap '@a⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	 hαα 0 %β @H↓A	 hαα 0 '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓	` ∧A↓ '↓↓⊂ ∧↓λT ⊃βApH∂ @(α∩`@(α∩`@(α∩`@(α∪  8↓∪ 8↓∪ 8↓∩` 8↓∩` 8↓∩@00↓Q(Bh¬α` XαI P%αHT .βBPH∂@00↓S 8↓∪ 8↓∩` 8↓∩` 8↓∩@ 8↓∩@@(α∩@@(α∩@@(α∩@@(α⊃(GX¬@ h¬I!0%¬HT >%P⊂ε@¬TP⊗RET(wCm⊗ 2[NFH3~,W⊂⊂⊂iU_){bV_7Y
⊗p3\l6@2[,R*→+α:→/π wCfx7≥fλ1Y,'H:→>0v∂@¬H $i≠xw8↓∨38↓∨38␈␈␈␈hαh␈␈␈␈ αλ{β⊂∧=P¬∧?0I@hZλ
~≡`⊂∩↓LP ↓ m⎇@1`αB/⊂αV⊂{↓βp¬=P¬;←0αH XPJ`
}↑`0⊂@↓>0↓0;⎇@r β→$αk`{α∧⊂¬x¬d∨0∧I`e⊂h↑`P⊂@↓>0↓@~⎇A1Xα2{¬⊃{ββ⊂∧4∩@
2?0εF @h%∃α≡`p∩@↓VλzαPE⎇Ar(β,∨ ¬3p{∧↓0↓{ pπLO0λC 0⎇`∂$}a⊂@↓β@pα8d=B18απ∞∧⎇h{¬αp∧∞≤	}/0
E`@≤8∀β}a0@↓β@pα@_=Bqxα←M⊂¬βh{εα@βS`
∂0E@8s-∂5↑aP⊂@↓>0↓x)⎇C2 β→$βzP{παp∧∞≤λα∨0∞Jp⊗∞ ⊂!≡ap⊗@↓␈x|@α⎇⎇Cr β→$∧↔P{λ↓0↓{ p
∂o0⊂C`(~n ⊃	}b⊂@↓β@pαX␈⎇D20β6B∧*λ{	αp∧∞≤π~/0∩I@hZλ⊃P≡b0⊃@↓G@
↓h'⎇Dph↓∩⊗∧@X{
α β→$	∧o0∀D@02H∩">bP@↓β@pα v=E2 β→$∧SX{↓Pα$,	0/0⊗C`(=P⊗↑bpε@Iλ0α(N⎇Eq8απ∞∧Z`{αp∧∞≤ε⊗o0_E`@≤8O>c⊂@↓β@p↓HE=F18απ∞β≡({
αp∧∞≤εHo0~E`@≤8
->c0@↓β@p↓X
=Fq8απ∞β8h{∞αp∧∞≤εzo0≤E`@≤8∞∃}cPε@Iλ0α0ε⎇G0h↓∩⊗∧b0{∂↓pαM7⊂λLO0≡I`e⊂∪∩}cp|_x↓p⊃⎇Gq0↓x?β↑⊂{⊂βp¬=P	KO0 G`P}4@λ}d⊂∂@↓/HT@L=H1hαP→⊂H{⊃∧⊂¬xq⊂+/0"GHp_t>d0
↓⊗X8⊂=Hqxα↑h%X{∩∧⊂¬h%0X∂0$C  Kl@↓O>dP|8@_A=I2αn≤⊂<h{∪β⊂∧=P↓
∂0&Jp/2`α%>dp⊂@↓:λ∃@(<=Ir⊂β∧↑8bH{∀βP¬!↔⊂↓U∂0(H@`∩y`βA>e⊂∂↓*8>8L=J1Pα$,↓x{∃βp¬Opα/0*HX'?@∧)}e0∂@↓/`iH∀=Jr`βqc⊂↓~_{⊗βp¬?~ αQ/0,G`P}4@¬?}eP∞↓ `PX0=K0h↓_qX∧nX{↔αp∧∞≤π?0.C  cF`∪S≡ep@↓β@pα@H⎇Kph↓∩⊗¬
p{_↓Pα$,	u←00E@8s-¬i>f⊂↓πp3@Xt=L1 ↓ip↓Eλ{→β∧∨Lpβ⊃∂02E8'@@ε<}f0πP0(h↔=Lq8απ∞↓W_{~β∧∨Lpβ;∂04B`_vA`π⊃>fPεFλ{@p?=M18α↓↔8↓lX{≠↓0↓{ pβf/06I hπq`π]}fp↓πp3@x|=Mq8απ∞α∧x{≤β∧∨Lp∧∪/08F@?→`λ?}g⊂λYpα↓λ2=N1⊂↓I[pα→H{≥α⊂α|ε∧9o0:F@?→`	α}g0
@y C@↓⊂0=Nqxαg@8α+λ{≡αPβe⊂p∧ho0<E 8J!`	d>gP
r(t@↓_z=O18απ∞¬FP{∨¬`λ≤8∞␈0>E`@≤8∀/>gp@↓β@pα@p=Oq8απ∞¬∂H|@α`←`{⎇xow{⎇x